Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧪 Compiler Testing
Differential Testing, Fuzzing, Property Testing, Metamorphic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
184939
posts in
7.6
ms
Invariant-Driven
Automated
Testing
arxiv.org
·
22h
🧪
Testing Compilers
MTZK
: Testing and Exploring Bugs in Zero-Knowledge (
ZK
) Compilers
papers.cool
·
22h
🧪
Testing Compilers
I
Fuzzed
, and Vibe Fixed, the
Vibed
C Compiler
john.regehr.org
·
8h
·
Discuss:
Lobsters
,
Hacker News
🩺
Compiler Diagnostics
TWINFUZZ
: Differential Testing of Video Hardware Acceleration
Stacks
papers.cool
·
22h
🧪
Testing Compilers
TENSURE
: Fuzzing Sparse Tensor
Compilers
(Registered Report)
ndss-symposium.org
·
2d
·
Discuss:
Hacker News
🧪
Testing Compilers
Code
Rewriting
With AI and
TDD
dzone.com
·
15h
🚚
Code Migration
Maximally minimal specialization: always
applicable
impls
smallcultfollowing.com
·
14h
⚡
Partial Evaluation
Write Deterministic
PHPUnit
Assertions
with Mockery::capture
dev.to
·
1h
·
Discuss:
DEV
🎲
Test Generators
🐥 Optimizing
nested
array operations in PHP: from O(
3n
) to O(n)
yellowduck.be
·
1d
🌳
Tree Shaking
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
📚
Forth Compilers
Downstream
Testing
nesbitt.io
·
2d
·
Discuss:
Hacker News
🧪
Testing Compilers
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
7h
🧪
Parser Testing
Context-Aware
Functional
Test Generation via Business Logic
Extraction
and Adaptation
arxiv.org
·
22h
🧪
Test DSLs
Lean
and AI caught a bug in my 2-year-old
TLA
+ spec
medium.com
·
18h
·
Discuss:
Hacker News
🎯
Symbolic Execution
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧪
Test DSLs
One
Method
to Test Them All
dev.to
·
3d
·
Discuss:
DEV
🎲
Test Generators
Cppcheck
Portable
2.20.0 (C/C++ code analysis) Released
portableapps.com
·
4h
🩺
Compiler Diagnostics
When AI
Writes
Code. Why
Frontend
and Mobile Development Need a New Standard for State Management
reflex.js.org
·
9h
·
Discuss:
DEV
🎮
Language Ergonomics
CodeSpeak
can improve test
coverage
in your project
codespeak.dev
·
1d
🚀
Code Motion
Static
taint
analysis for LLM agents
deepclause.substack.com
·
23h
·
Discuss:
Substack
🎲
Parser Fuzzing
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help